http://identifiers.org/mgd/MGI:4889192 Ank<KI> Ank<tm1.1Ejr> targeted mutation 1.1, Ernst J Reichenberger MGI:4889192 Humanized sequence